Frame(void) Frame(Frame& f) Frame& operator=(Frame& f) void debug_out(ostream& c, int indent)
Standard housekeeping functions.